Minutes, IBIS Quality Task Group

08 May 2018

11:00-12:00 EST (08:00-09:00 PST)

ROLL CALL

eASIC:                              David Banas
Ericsson:                           Anders Ekholm
Intel:                              Michael Mirmak
                                    Eugene Lim
IO Methodology:                   * Lance Wang
Mentor, a Siemens Business          Arpad Muranyi
Signal Integrity Software:        * Mike LaBonte
Teraspeed Labs:                   * Bob Ross
Visteon:                            Preetesh Rathod

Everyone in attendance marked by *

NOTE: "AR" = Action Required.

-----------------------MINUTES ---------------------------
Mike LaBonte conducted the meeting.

Call for IBIS related patent disclosures:

- None

Call for opens:

- None

Review of previous meeting minutes:

- Lance moved to approve the Apr 24 minutes. Bob seconded.
  Without objection the minutes were approved.

ARs:

- Mike LaBonte to check if AMI Range typ/min/max is checked.
  - Done. It is checked by ibischk6.

- Mike LaBonte to complete BIRD appendix for parser contract.
  - Some progress.

New IBISCHK bugs:
- Bob: I have 5 bugs that have not yet been filed.
  - One is from Michael Mirmak, but we have no testcase.
  - Also Michael Schaeder has a parser crash case.
  - That might be filed after SPI.

IBISCHK7 parser development:
- Mike showed contract draft 9.
- Mike: The BIRD 187.3 section has been updated again.
- Bob: This is editorial.
- Mike: It expands on Range checking; not sure if IBISCHK does that.
  - In the BIRD Increment requires delta to be "positive".
- Bob: We also have "non-negative", which might need editorial work.
- Mike: A code inspection shows that ibischk6 allows delta to be zero.
 - Zero is implicitly not "positive" in "positive, negative, or zero".
 - We might need a bug to disallow delta = 0.
- Bob: Zero delta could give an infinite loop.
  - Maybe the code checks that somewhere.
  - We should try it.
  - The BIRD was intended to be only a clarification.
- Lance: If min == max then delta could be zero without impact.
- Mike: ibischk could flag delta = 0 as an error at least if max > min.
- Bob: This is a pathological case that probably no one has run into.
  - It may be a problem that the BIRD says "the sign" shall be positive.
  - We could make editorial changes beyond what the BIRD has.

AR: Lance Wang to test ibischk of Increment AMI parameter with delta = 0

- Mike: For BIRD188.1 Rx_Uniform_Noise is in a table to show what to check.
  - There is no requirement for the noise value to be non-negative.
- Bob: Rx_Gaussian_Noise is more clear than Rx_Noise.
- Mike: The BIRD does not disallow having both.
- Bob: We can have the parser disallow that without changing the BIRD.
- Mike added a requirement to disallow having both Rx_Uniform_Noise and
  Rx_Gaussian_Noise.

- Mike: The only BIRD left to describe in the document is 189.
- Bob: We can get started with parts of that.
  - We could start with checking lists of pins against each other.
  - We could divide this up into sections.
- Mike: I could write about the Rules section.
- Bob: If there is a problem in [Pin Mapping] the parser should stop.
  - The parser should check for pins to not overlap.
  - It should consider bus labels when checking that.

- Lance: There is no error with delta = 0.
  - There is an error for negative delta.
  - It accepts all zeros, for typ, min, max, and delta.
- Bob: We should write a bug report for this.
  - This should be checked for all versions.
- Mike: Steps should have no issue.
- Bob: We should check that too.

AR: Lance Wang to write ibischk bug to disallow Increment delta = 0 and Steps = 0

- Bob Ross moved to adjourn. Lance Wang seconded.
  - The meeting ended without objection.

Meeting ended: 12:02 ET

Next meeting May 15, 2018